Nuprl Definition : dectt 11,40
dectt(d) == isl(d) 
latex

Definitionsisl(x)
FDL editor aliasesdectt

origin